\documentclass{sig-alternate}
\usepackage{url}
\usepackage{color}
%\usepackage{amssymb,amsmath,amsfonts,amsthm}
\usepackage{algpseudocode}
\usepackage{float}
\usepackage{times}


\begin{document}

\title{Enforcing Payment with Smart Contracts}

% Anonymization
\author{}

\maketitle

\newtheorem{definition}{Definition}
\renewcommand{\thefigure}{\arabic{figure}}


% This is a stand-in for the name of our system.  I have chosen for now
% an acronym $\tch$ that stands for ``trusted computation for hire'' but the
% actual value of this placeholder can always be changed.
\newcommand{\tch}{\mathbf{TCH} }

\newcommand{\todo}[1]{{\color{red}[ TODO: #1 ]}}

\newcommand{\encr}[2]{\{#1\}_{#2}}
\newcommand{\Kdata}[0]{K_{C_{\text{data}}}}
\newcommand{\Kout}[0]{K_{S_{\text{out}}}}
\newcommand{\Kmpriv}[0]{K_{m^{-1}}}
\newcommand{\aik}[0]{K_{\text{AIK}}}
\newcommand{\sign}[3]{\langle #1 \rangle_{#2}^{#3}}

\newcommand{\req}[0]{\mathsf{Req}}
\newcommand{\ack}[1]{\mathsf{Ack}\left( #1 \right)}
\newcommand{\bcast}[1]{\mathsf{Broadcast}\left( #1 \right)}
\newcommand{\Decrypt}[2]{\underset{#2}{\mathsf{Decrypt}} \left( #1 \right) }
\newcommand{\Encrypt}[2]{\underset{#2}{\mathsf{Encrypt}} \left( #1 \right) }
\newcommand{\unseal}[1]{\mathsf{Unseal}\left( #1 \right) }

% Designations of various trusted PALs in the system 
\newcommand{\negpal}[0]{\mathsf{PAL}_\text{neg}}
\newcommand{\execpal}[0]{\mathsf{PAL}_\text{exec}}
\newcommand{\xchgpal}[0]{\mathsf{PAL}_\text{xchg}}


\input{sections/abstract}
\input{sections/intro}
\input{sections/related}
\input{sections/background}
\input{sections/problem}
\input{sections/protocol}
\input{sections/bulletin}
\input{sections/architecture}
\input{sections/prototype}
\input{sections/analysis}
\input{sections/applications}
\input{sections/conclusion}

\bibliographystyle{plain}
\bibliography{biblio}

\balancecolumns
% That's all folks!
\end{document}




